Coupling Evaluators for Attribute Coupled Grammars

Some years ago, the notion of attribute coupled grammars was introduced by Ganzinger and Giegerich 4], together with descrip-tional composition. The latter works essentially at the speciication level, i.e., it produces an attribute grammar which speciies the composition of two attribute coupled grammars. We introduce a new approach to this composition of attribute coupled grammars. This composition no longer works at the speciication level but at the evaluator level. It produces a special kind of attribute evaluator. For this purpose we have introduced the notion of coupling evaluator. The main advantage of this new approach, compared with descriptional composition, is that it is possible to build separately the coupling eval-uator of each attribute coupled grammar; in other words it allows real separate compilation of AG modules. Another important advantage is that we do not need to check the attribute grammar class in order to construct the nal sequence of evalu-ators; thus, this construction produces a new sort of evaluator.